Büchi Automata
   HOME

TheInfoList



OR:

Buchi can mean: __NOTOC__


Items

*
Bachi ''Bachi'' (, ; also ''batchi'') are straight, wooden sticks used on Japanese taiko drums, and also the plectrum (written ) for stringed instruments of Japanese origin such as the shamisen and '' biwa''. For percussion Drum bachi (, ) are ...
, special Japanese drumsticks *Butsi, the Hispanised term for
jin deui ''Jiandui'' (, common misspelling ) is a type of fried Chinese pastry made from glutinous rice flour. The pastry is coated with sesame seeds on the outside and is crisp and chewy. Inside the pastry is a large hollow, caused by the expansion of th ...
(pastry made from glutinous rice) in the Philippines *
Büchi automaton In computer science and automata theory, a deterministic Büchi automaton is a theoretical machine which either accepts or rejects infinite inputs. Such a machine has a set of states and a transition function, which determines which state the machi ...
, finite state automata extended to infinite inputs *
Büchi arithmetic Büchi arithmetic of base ''k'' is the first-order theory of the natural numbers with addition and the function V_k(x) which is defined as the largest power of ''k'' dividing ''x'', named in honor of the Swiss mathematician Julius Richard Büchi. T ...
, a mathematical logical fragment


People


Given names

*
Buchi Atuonwu Buchi Atuonwu, popularly known as Buchi, is a Nigerian reggae gospel artist. He started as a disc jockey in night clubs. Buchi is part of Christ Embassy's LoveWorld Music and Arts Ministry. Biography Buchi was born in Kaduna in 1965. He has ...
, Nigerian reggae gospel artist *
Buchi (comedian) Onyebuchi Ojieh, known by his stage name Buchi (born April 4, 1979) is a Nigerian comedian, composer, writer, and actor from Delta State, Nigeria. Early life and education Buchi was born in Kwale Ndokwa West, Delta State, Nigeria. He attended ...
, stage name of Onyebuchi Ojieh, Nigerian comedian *
Buchi Emecheta Florence Onyebuchi "Buchi" Emecheta (21 July 1944 – 25 January 2017) was a Nigerian-born novelist, based in the UK from 1962, who also wrote plays and an autobiography, as well as works for children. She was the author of more than 20 books, ...
, (d. 2017) Nigerian British writer


Family names

*
George Büchi George Hermann Büchi (August 1, 1921 – August 28, 1998) was a Swiss organic chemist and professor at the Massachusetts Institute of Technology. "Paternò's reaction", known since the early twentieth century, was renamed to the "Paternò–Büch ...
(1921–1998), an organic chemist *
Julius Richard Büchi Julius Richard Büchi (1924–1984) was a Swiss logician and mathematician. He received his Dr. sc. nat. in 1950 at ETH Zurich under the supervision of Paul Bernays and Ferdinand Gonseth. Shortly afterwards he went to Purdue University in Laf ...
(1924–1984), developer of the Büchi automaton *
Hernán Büchi Hernán Alberto Büchi Buc (; born March 6, 1949) is a Chilean economist who served as minister of finance of the Pinochet government. In 1989 he ran unsuccessfully for president with support of Chilean right-wing parties. Early life Büchi wa ...
(born 1949), Finance Minister of Chile (1985–1989) *
Albert Büchi Albert Büchi (27 June 1907 – August 1988) was a Swiss professional road bicycle racer. He is mainly known for his bronze medal in the Elite race of the 1931 Road World Championships. He was also the Swiss National Road Race champion ...
(1907–1988), a Swiss professional road bicycle racer


Nicknames

*
Yutaka Izubuchi is a Japanese anime designer, screenwriter and director. Izubuchi is credited for designing costumes, characters and creatures, but most of his designs are mechanical (both robots and other vehicles). He created and directed the ''RahXephon'' ser ...
, anime designer and director *Nigerian
Igbo Igbo may refer to: * Igbo people, an ethnic group of Nigeria * Igbo language, their language * anything related to Igboland, a cultural region in Nigeria See also * Ibo (disambiguation) * Igbo mythology * Igbo music * Igbo art * * Igbo-Ukwu, a ...
first names such as Onyebuchi, Nnabuchi, Maduabuchi, a suffix that translates as "...is God."


Fictional characters

*Buchi in ''
One Piece ''One Piece'' (stylized in all caps) is a Japanese manga series written and illustrated by Eiichiro Oda. It has been serialized in Shueisha's ''shōnen'' manga magazine ''Weekly Shōnen Jump'' since July 1997, with its individual chapte ...
'' {{disambiguation